// Colors
//
// Dark theme
//$theme: #018574;
//$text: #c6cddb;
//$light-grey: #494f5c;
//$dark-grey: #3B3E48;
//$highlight-grey: #7d828a;
//$midnightblue: #2c3e50;

$theme: #1ad1a3;
$text: #3b3e48;
$light-grey: #fcfcfc;
$dark-grey: #f9f9f9;
$highlight-grey: #7d828a;
$midnightblue: #2c3e50;

// Fonts
//
$fonts: "Trebuchet MS", Verdana, "Verdana Ref", "Segoe UI", Candara, "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Tahoma, sans-serif;
$code-fonts: Consolas, "Andale Mono WT", "Andale Mono", Menlo, Monaco, "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", "Courier New", Courier, "YaHei Consolas Hybrid", monospace, "Segoe UI Emoji", "PingFang SC", "Microsoft YaHei";

// Mixins
//
@mixin dimmed {
  opacity: .6;
}

@mixin aTag {
  a {
    word-wrap: break-word;
    border: none;
    box-shadow: inset 0 -4px 0 $theme;
    transition-property: background-color;

    &:hover {
      background-color: $theme;
    }
  }
}
